Little documentation improvements