Added missing line numbers in dexpler