fixing #753