Fixed a long-standing bug in SOAD guess related to construction of KeyVal object.