tiny stylistic change