TC: default extension now works in nested contexts