Minor fix to PBS plugin