Fixing some issues in the printing of the source code.