fixes #412