progress bringing the manual in sync with the implementation