Last-minute doc fixes.