small change in ws docs