this fixes #251