Fix #381.