Fixing two small mistakes.