small fix of style