Provide a general description of the changes in your pull request. If this pull
request fixes a known issue, please tag it as well (e.g.: `Fixes #1`). In any
case:

- [ ] Write a [good commit message](https://chris.beams.io/posts/git-commit/).
- [ ] You are sure that `make all` continues to work.
- [ ] The game continues to work.
- [ ] The pull request has *only* one subject and a clear title. You are not
      submitting a pull request with tons of different unrelated commits.

Thanks!