Improvements to RulCol