Fix a bug in irc msg logging with spec+impl.