Fixes #765