Some more documentation cleanup