Fix bug #450