Minor updates
Minor formattings in the source code