Fix bug #453