fix another typo in webkr13 paper