file names corrected
rogue KStart in trees deleted
Pretty printing - typos corrected