Verification fixes, CVC help box style change