Fix bug #545