this fixes #3