fixes #10
...