Little documentation fix.