Fix indentation in Ext.def