(PSEUDO): Fix typo.