trivial: Anothe trademark fixup