this fixes #257