git checkout: fix default head case