Fix bug #45.