Minor improvements to randPDF.py