As per #956, we should be able to remove this particular rule.