Very minor aesthetic change