Fix documentation numbering

It looks like an additional section was inserted without updating this numbering. I just happened to notice this because I was looking for something in the documentation.