Just out of curiosity...is this needed, or just a style cleanup?