fixing documentation (that I can only see after I push)