Fix "info-dynamic-scheduler" menuitem.