Prefer shorter extension.