Fix trivial typo (bug #2253)