It’s just a typo 🤷‍♂️

FWIW, Nostrudel doesn’t use ndk so that’s not going to help you to modify nip-42 on nostrudel