Some more documentation improvements