Another small documentation fix.