man page, remove double 'the'