this fixes #423