fixed bug related to WHILE