Fix #478.