Correcting another bug in the rotation matrix