Issue #2021779 follow-up by amateescu: Fixing broken HEAD.