Simplify unnecessarily complicated usage of put_back().