Address a small typo. No more needed, fixed properly in translation units.