Fix Prime_beacon.S after last commit.