turn on NondecreasingIndentation extension