Is this just for aesthetics or is there a correctness issue here?