Trad: Fix bad source file