Fix compilation. Better indentation for the pretty printer