Fix initialization bug in CFOR