Make slight corrections in parts of the STL.