fix for #868