bug fix in triangulation.py