minor fix to get rid of warning