Fix DiffSharp typos