some minor deletions