Issue765

Fixes #765