minor fix to compile for gcc