Minor fixes (a typo and a duplicate declaration).