Tiny stylistic change.