Updater improvements.

Now HEAD is updated to point to the commit that is checked out.