Fixes bug in TRSYL