fixes #423