The documentation in doc/DETAILS does not specify the type of the <cur> and <total> fields. By inspecting the code I confirmed that they are integers. Here are two patches to add this fact and correct a few other typos I noticed in this document.