correction of some typos. ready for debugging.