Yes, that's the algorithm. The angle is converted to a rotation matrix, with which the vector is then multiplied.