Fixed a small bug when Vinit is not NULL
Fixed small typos in description