--- a/python/ppci/c3/astnodes.py	Thu Dec 12 20:42:56 2013 +0100
+++ b/python/ppci/c3/astnodes.py	Fri Dec 13 11:53:29 2013 +0100
@@ -15,7 +15,7 @@
 
 # Variables, parameters, local variables, constants and named types:
 class Symbol(Node):
-    """ Symbol is the base class for all named things like variables, 
+    """ Symbol is the base class for all named things like variables,
         functions, constants and types and modules """
     def __init__(self, name):
         self.name = name
@@ -47,7 +47,7 @@
 
 
 class NamedType(Type, Symbol):
-    """ Some types are named, for example a user defined type (typedef) 
+    """ Some types are named, for example a user defined type (typedef)
         and built in types. That is why this class derives from both Type
         and Symbol. """
     def __init__(self, name):