Fix small typographic error