Fix specs for eigensystem of rotation matrices