Fix the missing ring operator (u2218); other minor changes