Tweak dex.spec