Update wstool instruction