Corrected a mistake from precedent commit