Fixes #1

I hope it works in fixing #1 this time