this fixes #401