fix bug in Correct Indentation introduced by @24817dabf42