fixes #533