Fix botched edit of stl.py