Fix typo in .proverc