Minor formatting fixes to failure messages.

Authored by khandpur on Apr 12 2017, 5:34 PM.