Revert "Reset to HEAD better"

This reverts commit 1ada5d09e53d877c232ff260abd3a2174a34b5b1.