Replace @extension by @extensions.