Small documentation fix.