Minor tweaks; add Deft JS definition.