fixes #531