These 2 changes are unrelated, but too tiny to have their own tickets?