Fix bug #30