modified .proverc