* Documentation fix.