bugfix: missing trailing ;