Documentation fix for last commit.