Just some touchups to the documentation