dist file propagates, this should hopefully fix this port in the dist survey's eyes. Reminded by: fenner