some ExtJS fix