Add a missing extension