Fix missing @clicksequence problem with older Texinfo versions.