Fix another UI issue -- remove the useless separator in Tools menu.