Cleaner output
Apparently we don't close contexts