diff -r 928365840d0d -r 622c49e60348 src/gldraw.cc
--- a/src/gldraw.cc	Mon Jan 13 00:02:43 2014 +0200
+++ b/src/gldraw.cc	Mon Jan 13 10:07:39 2014 +0200
@@ -674,7 +674,7 @@
 
 					// Draw their coordinates
 					paint.setPen (textpen);
-					paint.drawText (blip.x(), blip.y() - 8, poly3d[i].stringRep (true));
+					paint.drawText (blip.x(), blip.y() - 8, poly3d[i].toString (true));
 				}
 
 				// Draw line lenghts and angle info if appropriate