Making everything neater with Ext.encode