"EXTERNAL" Nothing ---> "EXTERNAL" (Just "")