a dummy change

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.
Merge pull request #199 from xeno-by/master

trying to fix the website