Use %s to avoid embedding Strings which may contain '%' characters.

Fixed a bug in `print_killer` when the method name is `#%`.