Removing leftover HEAD marks
Merge pull request #2436 from bsipocz/fixing_stray_HEAD_marks

Removing leftover HEAD marks