Some old typos