Fix #389.
Fix #388.