Minor change to current-pvs-file