Added a forgotten PrintWriter flushing in Scope.dump().