bugfix with karma port number