minor tweaks to in-topic searching UI, #2442