unneeded change? It's just format. I am not sure whether the proposed one is better.