Remove unnecessary mention of the toolkit version
Fix encoding of minus signs