[dev] Small doc fix.