New abstract, fixed typos