Patch requested for info.el