fix a line in the docs, we DO have that now!