Fix bug #38