Fix strange character in manual