Fixes #2
Record TM nesting fix