bugfix: deleted ";"