[FIX] fixed very nasty bug (semicolon between while header and body)