tiny doc fixes.