SERVER-11136: add explicit cast