Another update

-Fixed some semantics