Fix reference to non-existent file

Link to it for easy access in GitHub.