This placates makeinfo 5.2, which otherwise actually emits a warning; surely a flagrant breach of the makeinfo philosophy...?