Minor doc fixes

To take into account your comments...