fix for #1192