fix ; after }