updating the repo with the last changes from the CLTL repo