got rid of TLAs and small edits