typo pointed out by Richard Smith