Bugfix: do_while_stmt instead of while_stmt.