Fixing up some documentation, fixing up some minor issues