Hopefully final fix for a detached HEAD mess as a git newbie.