fixing minor formatting errors introduce by the last fix of formatting
errors.