Fix: file extension