small corrections, formatting added