prkc: minor bug fix