Fixed usage to reflect the new tvc32 option.