src/pv.cpp: cosmetic changes