Corrected expansion of $ext.