Silence unused argument warning.

Fallout of #688.