Actually use port argument

Right now the port argument isn't actually used -- port `443` is hardcoded in.