fix #57 -- small doc tweak