BUG: Some files had not been committed at the last commit