Making GIT happy