Another small correction