fix highlights and bind a random port