and a trivial typo fix