A memory leak in the dedimania widget was fixed