Some clarification on local extensions.