Minor changes of formatting