Minor changes in the indentation