Clarity about extensions