fix #57 -- small doc bug