Fix #408.