correctness and formatting fixes
delete duplicate section