Doxygen/jslint tweaks