this fixes #9