fix [ bug #749 ]