Fixed a few mistakes in logic.uml