fix log messages in CHECK