Minor changes for formatting