Fix typos in the user manual regarding the standard Logtalk operators