Fix bug #2