Recognize "Instance" in coqwc. (Fix for bug #2551)
fixing Function doc