What if we use a different extension?