Made known hosts parser accept host:port in square brackets, even though standard port is given