I just filed #12583 about the bad documentation.