Fix bug #60.