Update libwcs formula