Replaced extension.