Yet another unrelated change to pass make check.