Another minor aesthetic code change