small correction on previous commit