Fix bug, missing signal name in sensitivity list.