Small correction spotted before the first batch of tests