Correction to typo