Fixed redundant rules