karma.ini: fix a couple broken karma rules