small cleanup in PcieTop