Ah, good to know. I just refactored the lsbmajdistrelease fact for this code, so it would need to be changed as well.