Re #7415. Fixing pulse id assignment issue.