Fixes #542