Use default HTTPS port (closes #10)