You are right. Fixed in SHA: 6707200