space after while ?