Fix bug #293