Fix missing ');'