small fix for #197