fix for #8