minor fix to warning