Update sigtrap.md