--- ray/src/rt/x11.c	1992/06/24 09:12:50	2.6
+++ ray/src/rt/x11.c	1992/06/25 13:32:47	2.7
@@ -407,6 +407,8 @@ freepixels()				/* free our pixels */
 	if (ncolors == 0)
 		return;
 	XFreeColors(ourdisplay,ourmap,pixval,ncolors,0L);
+	free((char *)pixval);
+	pixval = NULL;
 	ncolors = 0;
 	if (ourmap != DefaultColormap(ourdisplay,ourscreen))
 		XFreeColormap(ourdisplay, ourmap);