Replace alltt by lstlisting. Add more rationale about the default constructor.