What are you publishing from SED? The .WDL file, or the .c script?