Finally found the cause of #235. It has been corrected.