this fixes #243