#5926: Wrong indentation