Removed debug output in PRO.