Assorted minor ruleset fixes

Close some assorted github ruleset bugs.