Update Latest change from KWARC