hopefully this fixes #3