fixes #401