Fixed issue #7945: Error message "token mismatch" not being translated