Bugfix: monitors, open after generation; Format code with default
formatter implementation