Bug in online documentation concerning reboot

On the documentation site

it suggest rebooting the device using the command reboot but that should be power reboot