Fix doc bug (correct  param -> @param)