Addressing some comments on the libstd facade