Minor cosmetic code change.