Fix #412.