SERVER-6018 Fix semis