Fixes #528