adjusted span tags on sexps