paper: replace ks31 by Sander's tikz