Fix wrong uint size for port numbers