fix for #1377