accidentally pushed 0.25 instead of 0.35, so this commit fixes the typo