Fix docs.

Make sure that the few lines we have are not misleading.