added let statements in airport spec