git: small fix