Fix some documentation weirdness