fix #18: a copied typo from ZK's codebase