Mention CVC4 in short description