#3923: fix undefined token.
1 file changed