this fixes #207