Some adaptions to the TLCOutput parser