fixes #437