Fix #378.
Fix #379.