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.