Fix segfault, #768

See #768