fix for extjs 4.2