It's definitely a bug in Ext JS