Fixed bug in add-mp-tail-trace!