Fixed bug in the trampoline implementation