minor spelling corrections and lintianisation (hyphen-used-as-minus-sign...

..., etc.)