Use correct port in server spec