Fix [ bug #747 ]