Ignore tags file
Fix some mistakes

Had some serious mistakes in qed prep to send to onePeq