small correction on style