fix bug in Prf.java