SERVER-11856 minor formatting fix in error code