Some adjustments to the javascript to cope with fast mousein/outs