Minor bugfix concerning default indentation rules.