Minor correction of past commit