this fixes #13, hopefully