Merge "Make minor documentation improvements"