last minute documentation fixes