Avoiding texinfo warning