minor correction to SystemC TLM