bug fix in print_message_operator