Fixed a number of issues found in krazy2 output. Also fixed a binary compatibility problem in SourcesList's default constructor.