Typos have beem fixed