[#130] Escape tilde before printing result message.