Fixes #534