trying to fix the website

The website is borked, probably because I merged two pull requests in a
quick succession. Now I'll try to trigger a rebuild by merging a minor
change.