More doc tweaking