Re: [Cin] Typo in git commit e23393f4ff9f772ac8f47926cf490dc87a630ed4 ?