Renumbered HEAD to 4.0. Might as well match the rest.