minor fix to flashinsec.