Small tweak to Prg so that it'd work with FilterResults plugin