documentation fixes I missed