I had noticed and fixed it locally, but forgot to push.

- Jonathan Morton