Minor correction on previous commits