minor fix to make gcc happier

you are right. let me fix it