Fix #416.