FIX: some user-visible typos fixed
remove typo