Update auctex-lua.el

typo