Purely aesthetic formatting fix