Fix pull request

You should be good. To merge this in, don't use the big green merge button, otherwise there'll be another commit to squash.