fixes #457