Fix to get rid of HEAD cruft