Fix #1193

Fixes issue #1193