Minor renaming on the API docs page