Minor bug fix on CVER checking