fixes #472