Fixed bug with reify_values