Fix syntax error in core.pp