Minor cosmetic changes in GameRuleManager