#3294: Please block kmid from dist-f13