A javascript spell-correction