Hotfix

Fixes #5