oops, one last doc fix