typos

• ridges
• hashed
• priority
• Gilligan
• sphinges