fix port numbers (9700 -> 9500)