One more little speed optimization in STL.pm