Fix double minus signs in manual pages