Hi, setting a $wgTOCLimit higher than the default (4) works, but setting a lower numer (3) doesn't. Is it normal behavior ?