Fix a typo and a small syntactic error.