tags 850444 +confirmed +fixed-upstream thanks I can reproduce this bug; it has been fixed upstream with commit 183959aea243c3bc26e44cafa0f0cae8b729f91a in date 2017-01-13.
I will backport the fix and include it into auctex version 11.90-1. -- Thanks, Davide
