I think we have to add `and System.err` here.