Tiny bug fix for PF