correct minor error in Rodrigues class