I've just realized that this is exact output, and you have to do this.  But it makes code hard to read, and it would be nice if we could change this somehow.  (but if we won't it is not a big problem)