update the libstd docstring for the rename