Minor change to fix the git bug