Indeed, it seems that the ';' after a '} while()' is hardwired pretty deep in my fingers.