According to that reference you gave me, there's no message when semi-traps are removed. We might as well put it anyways though, because its just better.