Micro optimization in extension()