Is this extra indent intentional?