Fix the default port number

I accidently wrote the default as 1234 instead of 12345.