Fix the indentation (thanks armin)