doc/: Some minor fixes.