Misprint

Forgotten ';'