this fixes #409