oops; doc bug!