It seems you are right when I checked all the codes pertaining to this issue. We can manually add the flags to the above users but I'll talk to Marin first since there might be changes from 2010 code that I'm not aware of.