typespec: fix 8746f7e0