small changes in the textual repr