fix for #663