diff -r b969263fcf02 -r a989bdaf8121 src/Doc/antiquote_setup.ML
--- a/src/Doc/antiquote_setup.ML	Tue Feb 25 12:53:08 2014 +0100
+++ b/src/Doc/antiquote_setup.ML	Tue Feb 25 14:34:18 2014 +0100
@@ -212,7 +212,7 @@
   entity_antiqs (K command_check) "isacommand" "command" #>
   entity_antiqs (K (Keyword.is_keyword o #1)) "isakeyword" "keyword" #>
   entity_antiqs (K (Keyword.is_keyword o #1)) "isakeyword" "element" #>
-  entity_antiqs (thy_check Method.check) "" "method" #>
+  entity_antiqs (can o Method.check_name) "" "method" #>
   entity_antiqs (thy_check Attrib.check) "" "attribute" #>
   entity_antiqs no_check "" "fact" #>
   entity_antiqs no_check "" "variable" #>