this fixes #237