another small correction