* Fixed the implementation of build_value_for.