Update real-vector.md