Fix doc contract typos