SERVER-13639: small cleaning of Extent header