simplify truncated enumeration in pretty

thanks @ivanov!