small fix on style