update to fix “cant-translate” bug in pvs spec demo