Correction de bugs, mise é jour de Crafty, divers