fixes typo in webclcontext.h; reviewed by Antonio