Minor document fixes.