minor changes in PVS spec writer