Fixes #728