This is superfluous, the extension can be extrcted automatically.