Yes, but some simple math will show you the 4770K is still faster.
Besides that, the comparison you're asking for makes no sense at all. You're completely forgetting you can OC the 4770K to 3.9 GHz too (actually 4.4GHz is fairly common). You cannot tell me you wouldn't OC a 4770K if you had one. So to keep things fair and unbiased, either you compare both chips at stock, which i did, or you compare both OC'd. Don't cripple the 4770K to make yourself look better.