minor fixes to the taggedvalue-based api