Fix two bugs related to empty magmas#2452

ChrisJefferson merged 1 commit intogap-system:mastergap-system/gap:masterfrom

fingolfin:mh/fix-magmasfingolfin/gap:mh/fix-magmasCopy head branch name to clipboard