Wrong string formatting done in the Buffer.__repr__