No need to mention that it's unused in the header's declaration.  (No harm in it, either.)