Pool change dns error!

I tried to set the following pool:

Host: pool.semipool.com
port:33363

But it returns a dns error!

[dmNadim]

Custom pool DNS error

When custom pool is selcted no matter what the address is, it tries to connect to only :port , omitting the address part of address:port. It is probably an issue with string handling and not with DNS. I tried using ip address and the result was same.