A few documentation improvements