fixes #1

Closing this issue as there is nothing to do