this fixes #12