Fix typo and omission
Fix logical.go typos