Fixed. (One of these days I'll get jslint working and these will all go away...)