Minor changes in readability