Small documentation fix for the function 'default'.