fixes #253