Rename an unused parameter to silence a warning.