Minor changes

for clarity