Small correction on times and .gitignore