Correcting errors identified in recent IRC chat