Fix DiffSharp typo

Just noticed this. Whoops!