a few minor js tweaks