- oops, fix a doc bug