Revert "Remove compilation warning"

This reverts commit 80bc01e6e6ada7cfd3463a9ff6402b9f1adaae96.