Fixes #752