Slight corrections to the wording in if_else_while