Minor cosmetic/stylistic code change