SERVER-15442 fix server6733.js