doc last minute fixes!