Very minor comment beautificaiton