Fixes for introduction protocol in colocated case