minor deletions of unneeded text