thorougher

• batched
• Ephraim
• Hindu
• typographical
• Gonzalo