Bugfix in triangulation rules