Document unused parameter (Bug #20471).