Fixes #533