Another trivial typo fix