doc: english manual fixes