Fixing some mess I did with git