Forgot to edit filenames using git...