hopefully this fixes #7