Added aftermath of Codeforces screwup