Correcting a typing mistake