Abstract + small typo corrections