Fixed a minor bug in the logic model.