Fix silly formatting