Small docs tweaks

... while reading.