Register os closing in the right place
Recorder: promote inline notation, close #1176