Small fixes in LogicSystem.