A naming bug in jiangly's profile? - Codeforces