Tiny doc. fixes.