we now have extensions properly