fixing #745