Hotfixes

Fixes #31