Fixing two small typos