Fix #412