Minor changes to the code's formatting