I agree. But it is a functionally different change from the one described in the commit message, and should therefore be in its own commit. See http://git-scm.com/book/en/Git-Tools-Rewriting-History#Splitting-a-Commit.