rrggbb_to_triplet(): When color doesn't start with `#' raise a
BadColor exception.
diff --git a/Tools/pynche/ColorDB.py b/Tools/pynche/ColorDB.py
index effed55..b57ad6f 100644
--- a/Tools/pynche/ColorDB.py
+++ b/Tools/pynche/ColorDB.py
@@ -177,7 +177,8 @@
     """Converts a #rrggbb color to the tuple (red, green, blue)."""
     rgbtuple = _namedict.get(color)
     if rgbtuple is None:
-	assert color[0] == '#'
+        if color[0] <> '#':
+            raise BadColor(color)
 	red = color[1:3]
 	green = color[3:5]
 	blue = color[5:7]