Remove unused parameter.

Not sure why we weren't catching this with -Wunused-parameter...

Spotted by inspection.
Remove spurious space.