fixes #538