Minor cosmetic code change