Minor cosmetics - no effect on output