fix typo in extensions.js