small fixes in git