DEBUG: find out why vertices are being double-counted