Small fix per https://github.com/Versal/versal-gadget-launchers/pull/35/files#r16780558