Yes, I will change it to push_malloced_string after switching from free_string_svalue to pop_n_elems(st_num_arg).  In this version of the commit, 'put' was appropriate because the second call to free_string_svalue did not decrement the stack pointer.