fixes #257