Removing pointless (to this PR) mongoman changes that are fixed in another pull