tweaking labeled VCs for error reporting