Fix up the GWT version of the string formatting for internal special failure messaging.