Clarification about default values