Fix typo at top level