Attempt to fix #251

I’m not sure if this will work really. We’ll see though.