Fix non-missing-signature warnings in MkId