minor fix to make gcc happier