Removed unnecessary aliasing in extension().