Fix Bug #753