A space also goes after `while`. :-)