unbreak check syntax

get-current-tab may not be the right tab to replay the trace,
now that online expansion runs other tabs when the current tab
is up to date.