Fix bug #57.