fixes #257.