SERVER-13058: remove extra space