Add some comments, fix fsproj