Fix bug #53.