Fix bug #3