Fix shell types

#730 reboot