[MERGED] Fix for git pull.