Nice catch
Also, you can use the Rate this page
to send a feedback to the documentation team:
Using the ārate this pageā feature is a good way to flag errors in the documentation. The āsend feedbackā dialog will result in the creation of a Jira issue in our internal docs backlog.