maybe const_iterator instead? (realize that this is just stylistic and won't affect correctness)