Fix syntax error in core.pp bug #1205007