Thanks for your help!

I submit a more detailed report to https://debbugs.gnu.org/cgi/bugreport.cgi?bug=58498.
-- 
Retrieve my PGP public key:

  gpg --recv-keys B3EBC086AB0EBC0F45E0B4D433DB374BCEE4D9DC

Zihao