Fix compilation warning of last commit