Fix bug #35