fix typographic error