Cleaning up some documentation