Fixed a small prolog bug.