this fixes #212