Fix some more documentation