Fixes 1192

This fixes #1192