Misprint fix

Forgotten ';'