correction do-while