dev-menu: oops, fix broken macro use