auctex: fix type error

Fixes #18661.