That is a bug in the documentation!  :)