Further corrections and additions to STL.