just fixing div_crystal