Fixed some abstract typos