A quick module test shows fatal error in Rodrigues class