Racket: Nx: Patch 2.5.12

Patch 2.5.12: minor bug fix