Fixes #738