Yet another small correction