Add missing @param annotation

Title says it all. No functional change.