this fixes #259