Fix bug #37