#497: remove duplicate rule