Some tiny stylistic changes