minor changes, fix some formatting mistakes