Fix bug #102