A simple typo fix.