Issue #2111887 follow-up by ianthomas_uk: Fix broken HEAD.