Fix [ bug #737 ]