Documentation polish, no real change (intended).