fixed bug in removing introductions

Ignore-this: 2fb3330318300d0810ea5dae9ea6e50b

Yes, i did a stupid way to remove from a vector. What is this, code for ants?

darcs-hash:20140111184235-c21fe-c530889ecda6638a1f8c08d972f8c7a02c7d91e3