Fix bug when testing introductions