Added workaround for broken texinfo references