Minor tweaks in jQuery