Some tweaks in Logic.