Small fix in the manual operation html page