SERVER-15422 style fixes for error formatting