Fix the last commit

because I forgot to `git add` the file again