Fix bug #445