Fixes #535