I tried upgrading mate-control-center but that did not help. Upgrading marco *did* help. So it looks more like an issue in marco to me. Anyway, it has been fixed now (window management keyboard shortcuts are now shown).