minor overfull and spacing errors fixed