this fixes #7