this fixes #412