Fix menu in the API docs.