Fix bad extension