minor cleanup for HEAD^