Minor code cleanup for tabbedinterface.js (#2062)