a few accumulated corrections