Little documentation fixes