A small error corrected in output messages.