Updated documentation: some source formatting.