Fix bug #412