small fix for #8