Fix tiny typo (bug #3404)