never mind, this is just info repr which is almost always short...