minor formatting and more documentation