Some cleanup/docs for modified givens rotation