#513: remove duplicate rules