Mention that Zop stops after the shorter list