Irrelevant edit
Merge pull request #289 from harmjanwestra/master

Irrelevant edit