fixes #527