Fix bug #36.