Fix a flow violation

Pointed out by Bill. Probably appeared due to the double-indexing type bug fix.