Fix bug #206