minor mandatory fix for git pull to work