fix for #735