solved a typographic error