Small fix to remove compilation warning.