corrected a explicitness in while statement