Fixes #735