FIX: small bug in compressed indexer