Rectified typos