small correction that might or might not have been needed