minor fix of warning