Fixes #1
Record TM nesting fix