small correction of formatting