fixes #534