Small typo update. No functional changes.